Term (logic)
MATHEMATICAL EXPRESSION THAT MAY FORM A SEPARABLE PART OF AN EQUATION, A SERIES, OR ANOTHER EXPRESSION; USED IN IN MATHEMATICAL LOGIC, UNIVERSAL ALGEBRA, AND REWRITING SYSTEMS
Term (first-order logic); Logic term; Variant (logic); Term (term rewriting); Linear term; Context (term rewriting); Subterm; Finite terms; First-order terms; Subterms; Renamed copy
In mathematical logic, a term denotes a mathematical object while a formula denotes a mathematical fact. In particular, terms appear as components of a formula.